- преобразование к КНФ
- conjunctive logic transform
Русско-английский словарь по вычислительной технике и программированию . 2013.
преобразование к КНФ
Look at other dictionaries:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Семантическая оптимизация запросов СУБД — процесс валидации и преобразования синтаксического дерева запроса в форму, пригодную для дальнейших шагов оптимизации. На этой стадии выполняется: Преобразование запросов в каноническую форму; Раскрытие представлений; Преобразование подзапросов в … Википедия
Предоптимизация запросов СУБД — Семантическая оптимизация запросов СУБД процесс валидации и преобразования синтаксического дерева запроса в форму, пригодную для дальнейших шагов оптимизации. На этой стадии выполняется: Преобразование запросов в каноническую форму; Раскрытие… … Википедия
Минимизация логических функций методом Квайна — Метод Куайна способ представления функции в ДНФ или КНФ с минимальным количеством членов и минимальным набором переменных.[1][2][3] Преобразование функции можно разделить на два этапа: на первом этапе осуществляется переход от канонической формы… … Википедия
Метод Квайна — Метод Куайна способ представления функции в ДНФ или КНФ с минимальным количеством членов и минимальным набором переменных.[1][2][3] Преобразование функции можно разделить на два этапа: на первом этапе осуществляется переход от канонической формы… … Википедия
Минимизация логических функций методом Куайна — Метод Куайна способ представления функции в ДНФ или КНФ с минимальным количеством членов и минимальным набором переменных.[1][2][3] Преобразование функции можно разделить на два этапа: на первом этапе осуществляется переход от канонической формы… … Википедия
